$\forall$$r$,$s$:rationals. ($r$ + $s$) = ($s$ + $r$) $\in$ rationals